The paper identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

An intuitive and widely accepted view is that (a) beliefs aim at truth, (b) many citizens have stable and meaningful political beliefs, and (c) citizens choose to support political candidates or parties on the basis of their political beliefs. We argue that all three claims are false. First, we argue that political beliefs often differ from ordinary world-modelling beliefs because they do not aim at truth. Second, we draw on empirical evidence from political science and psychology to argue that most (...) people lack stable and meaningful political beliefs. Third, we claim that the true psychological basis for voting behavior is not an individual’s political beliefs but rather group identity. Along the way, we reflect on what this means for normative democratic theory. (shrink)

This paper is a rejoinder to Alan Irwin's constructive response "Agreeing to Differ?" to our (2017) paper. We zoom in on the three main issues Irwin raises, namely (a) How to understand consensus? (b) Why are so many public participation activities consensus-driven? (c) Should we not value the art of closure, of finding ways to make agreements, particularly in view of the dire state of world politics today? We use this opportunity to highlight and further develop some of our ideas.

This paper presents the first bibliometric mapping analysis of the field of computer and information ethics (C&IE). It provides a map of the relations between 400 key terms in the field. This term map can be used to get an overview of concepts and topics in the field and to identify relations between information and communication technology concepts on the one hand and ethical concepts on the other hand. To produce the term map, a data set of over thousand articles (...) published in leading journals and conference proceedings in the C&IE field was constructed. With the help of various computer algorithms, key terms were identified in the titles and abstracts of the articles and co-occurrence frequencies of these key terms were calculated. Based on the co-occurrence frequencies, the term map was constructed. This was done using a computer program called VOSviewer. The term map provides a visual representation of the C&IE field and, more specifically, of the organization of the field around three main concepts, namely privacy, ethics, and the Internet. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

Over the course of human history there appears to have been a global shift in moral values towards a broadly ‘liberal’ orientation. Huemer argues that this shift better accords with a realist than an antirealist metaethics: it is best explained by the discovery of mind-independent truths through intuition. In this article I argue, contra Huemer, that the historical data are better explained assuming the truth of moral antirealism. Realism does not fit the data as well as Huemer suggests, whereas antirealists (...) have underappreciated resources to explain the relevant historical dynamics. These resources include an appeal to socialization, to technological and economical convergences, to lessons learned from history, to changes induced by consistency reasoning and to the social function of moral norms in overcoming some of the cooperation problems that globalizing societies face. I point out that the realist’s explanans has multiple shortcomings, that the antirealist’s explanans has several explanatory virtues, and conclude that the latter provides a superior account of the historical shift towards liberal values. (shrink)

This paper presents an analysis of wh-complements in Montague Grammar. We will be concerned primarily with semantics, though some remarks on syntax are made in Section 4. Questions and wh-comple ments in Montague Grammar have been studied in Hamblin (1976), Bennett (1979), Karttunen (1977) and Hauser (1978) among others. These proposals will not be discussed explicitly, but some differences with Karttunen's analysis will be pointed out along the way.

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

Scholarly discourse on “disruptive technologies” has been strongly influenced by disruptive innovation theory. This theory is tailored for analyzing disruptions in markets and business. It is of limited use, however, in analyzing the broader social, moral and existential dynamics of technosocial disruption. Yet these broader dynamics should be of great scholarly concern, both in coming to terms with technological disruptions of the past and those of our current age. Technologies can disrupt social relations, institutions, epistemic paradigms, foundational concepts, values, and (...) even the nature of human cognition and experience – domains of disruption that are largely neglected in existing discourse on disruptive technologies. Accordingly, this paper seeks to reorient scholarly discussion around a broader notion of technosocial disruption. This broader notion raises three foundational questions. First, how can technosocial disruption be conceptualized in a way that clearly sets it apart from the disruptive innovation framework? Secondly, how does the notion of technosocial disruption relate to the concordant notions of “disruptor” and “disruptiveness”? Thirdly, can we advance criteria to assess the “degree of social disruptiveness” of different technologies? The paper clarifies these questions and proposes an answer to each of them. In doing so, it advances “technosocial disruption” as a key analysandum for future scholarship on the interactions between technology and society. (shrink)

How should we understand the notion of moral objectivity? Metaethical positions that vindicate morality’s objective appearance are often associated with moral realism. On a realist construal, moral objectivity is understood in terms of mind-, stance-, or attitude-independence. But realism is not the only game in town for moral objectivists. On an antirealist construal, morality’s objective features are understood in virtue of our attitudes. In this paper I aim to develop this antirealist construal of moral objectivity in further detail, and to (...) make its metaphysical commitments explicit. I do so by building on Sharon Street’s version of “Humean Constructivism”. Instead of the realist notion of attitude-independence, the antirealist account of moral objectivity that I articulate centres on the notion of standpoint-invariance. While constructivists have been criticized for compromising on the issue of moral objectivity, I make a preliminary case for the thesis that, armed with the notion of standpoint-invariance, constructivists have resources to vindicate an account of objectivity with just the right strength, given the commitments of ordinary moral thought and practice. In support of this thesis I highlight recent experimental findings about folk moral objectivism. Empirical observations about the nature of moral discourse have traditionally been taken to give prima facie support to moral realism. I argue, by contrast, that from what we can tell from our current experimental understanding, antirealists can capture the commitments of ordinary discourse at least as well as realists can. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot be (...) joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

Like David Silver before them, Erik Baldwin and Michael Thune argue that the facts of religious pluralism present an insurmountable challenge to the rationality of basic exclusive religious belief as construed by Reformed Epistemology. I will show that their argument is unsuccessful. First, their claim that the facts of religious pluralism make it necessary for the religious exclusivist to support her exclusive beliefs with significant reasons is one that the reformed epistemologist has the resources to reject. Secondly, they fail to (...) demonstrate that it is impossible for basic religious beliefs to return to their properly basic state after defeaters against them have been defeated. Finally, I consider whether there is perhaps a similar but better argument in the neighbourhood and conclude in the negative. Reformed Epistemology's defence of exclusivism thus remains undefeated. (shrink)

Digital ethics, also known as computer ethics or information ethics, is now a lively field that draws a lot of attention, but how did it come about and what were the developments that lead to its existence? What are the traditions, the concerns, the technological and social developments that pushed digital ethics? How did ethical issues change with digitalisation of human life? How did the traditional discipline of philosophy respond? The article provides an overview, proposing historical epochs: ‘pre-modernity’ prior to (...) digital computation over data, via the ‘modernity’ of digital data processing to our present ‘post-modernity’ when not only the data is digital, but our lives themselves are largely digital. In each section, the situation in technology and society is sketched, and then the developments in digital ethics are explained. Finally, a brief outlook is provided. (shrink)

The meta-ethical commitments of folk respondents – specifically their commitment to the objectivity of moral claims – have recently become subject to empirical scrutiny. Experimental findings suggest that people are meta-ethical pluralists: There is both inter- and intrapersonal variation with regard to people’s objectivist commitments. What meta-ethical implications, if any, do these findings have? I point out that current research does not directly address traditional meta-ethical questions: The methods used and distinctions drawn by experimenters do not perfectly match those of (...) meta-ethicists. However, I go on to argue that, in spite of this mismatch, the research findings should be of interest to moral philosophers, including meta-ethicists. Not only do these findings extend the field of moral psychology with new data and hypotheses, but they also provide tentative evidence that touches on the adequacy of theses in moral semantics and moral metaphysics. Specifically, they put pressure on argum... (shrink)

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset. The first assumption concerns a very global intuition about the kind of semantic objects that we associate with interrogatives. The intuition is that there is an intimate relationship between interrogatives and their answers: an interrogative (...) determines what counts as an answer.2 Given a certain, independently motivated, view on what constitutes the meaning of an answer, this intuition, in return, determines what constitutes the meaning of an interrogative. For example, starting from the observation that answers are true or false in situations, we may be led to the view that answers express propositions, i.e., objects which determine a truth value in a situation. Given that much, our basic intuition says that interrogatives are to be associated with objects which determine propositions. Such objects will be referred to as ‘questions’ in what follows. Notice that all this is largely framework independent: we have made no assumptions yet about what situations, propositions, and questions are, we have only related them in a certain systematic way. In fact we will use a more or less standard, but certainly not uncontroversial, specification in what follows: situations are identified with (total) possible worlds; propositions with sets of worlds; and questions with equivalence relations on the set of worlds. The second assumption that plays a role in what follows is of a more linguistic nature. Interrogatives typically occur in two ways: as independent expressions, and as complements of certain verbs. The assumption is that these two ways of occurring are systematically related, not just syntactically but also semantically.3 Notice that the exact nature of this relationship is underdeter.. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

Neo-Humean instrumentalist theories of reasons for acting have been presented with a dilemma: either they are normatively trivial and, hence, inadequate as a normative theory or they covertly commit themselves to a noninstrumentalist normative principle. The claimed result is that no purely instrumentalist theory of reasons for acting can be normatively adequate. This dilemma dissolves when we understand what question neo-Humean instrumentalists are addressing. The dilemma presupposes that neo-Humeans are attempting to address the question of how to act, 'simpliciter'. Instead, (...) they are evaluating actions from the agent's normative perspective. (shrink)

In a recent contribution to this journal Paolo Gerbaudo has argued that an ‘elective affinity’ exists between social media and populism. The present article expands on Gerbaudo’s argument and examines various dimensions of this affinity in further detail. It argues that it is helpful to conceptually reframe the proposed affinity in terms of affordances. Four affordances are identified which make the social media ecology relatively favourable to both-right as well as left-wing populism, compared to the pre-social media ecology. These affordances (...) are neither stable nor uniquely fixed: they change in concordance with ongoing technological developments and in response to political events. Even though these dynamics can be quick-moving, a fairly stable alliance of interests between social media and populism seems to have emerged over the last decade. This raises the plausibility that as long as the current social media ecology persists, populist tendencies will remain prevalent in politics. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

The aim of this article is to identify the strongest evolutionary debunking argument against moral realism and to assess on which empirical assumptions it relies. In the recent metaethical literature, several authors have de-emphasized the evolutionary component of EDAs against moral realism: presumably, the success or failure of these arguments is largely orthogonal to empirical issues. I argue that this claim is mistaken. First, I point out that Sharon Street’s and Michael Ruse’s EDAs both involve substantive claims about the evolution (...) of our moral judgments. Next, I argue that combining their respective evolutionary claims can help debunkers to make the best empirical case against moral realism. Some realists have argued that the very attempt to explain the contents of our endorsed moral judgments in evolutionary terms is misguided, and have sought to escape EDAs by denying their evolutionary premise. But realists who pursue this reply can still be challenged on empirical grounds: debunkers may argue that the best, scientifically informed historical explanations of our moral endorsements do not involve an appeal to mind-independent truths. I conclude, therefore, that the empirical considerations relevant for the strongest empirically driven argument against moral realism go beyond the strictly evolutionary realm; debunkers are best advised to draw upon other sources of genealogical knowledge as well. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

There is widespread consensus that present patterns of consumption could lead to the permanent impossibility of maintaining those patterns and, perhaps, the existence of the human race. While many patterns of consumption qualify as ‘sustainable’ there is one in particular that deserves greater attention: virtual consumption. We argue that virtual consumption — the experience of authentic consumptive experiences replicated by alternative means — has the potential to reduce the deleterious consequences of real consumption by redirecting some consumptive behavior from shifting (...) material states to shifting information states. (shrink)

The co-shaping of technology and values is a topic of increasing interest among philosophers of technology. Part of this interest pertains to anticipating future value change, or what Danaher (2021) calls the investigation of “axiological futurism”. However, this investigation faces a challenge: “axiological possibility space” is vast, and we currently lack a clear account of how this space should be demarcated. It stands to reason that speculations about how values might change over time should exclude farfetched possibilities and be restricted (...) to possibilities that can be dubbed to be realistic instead. But what does this realism criterion entail? This paper introduces the notion of realistic possibilities as a key conceptual advancement to the study of axiological futurism and offers suggestions as to how realistic possibilities of future value change might be identified. Additionally, I propose two slight modifications to the approach of axiological futurism. First, I argue that axiological futurism can benefit from a thoroughly historicised understanding of moral change. Secondly, I argue that when employed in normative contexts, the axiological futurist should seek to identify realistic possibilities that come along with substantial normative risks. (shrink)

Many metaethicists assume that our normative judgments are both by and large true, and the product of causal forces. In other words, many metaethicists assume that the set of normative judgments that causal forces have led us to make largely coincides with the set of true normative judgments. How should we explain this coincidence? This is what Sharon Street (2006) calls the practical/theoretical puzzle. Some metaethicists can easily solve this puzzle, but not all of them can, Street argues; she takes (...) the puzzle to constitute a specific challenge for normative realism. In this article I elucidate Street's puzzle and outline possible solutions to it, framed in terms of a general strategy for reasoning about coincidences. I argue that the success of Street's challenge crucially depends on how we set the ‘reference class’ of normative judgments that we could have endorsed, assuming realism. I conclude that while the practical/theoretical puzzle falls short of posing a general challenge for normative realism, it can be successful as a selective challenge for specific realist views. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of artificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understanding of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

While the foundations of climate science and ethics are well established, fine-grained climate predictions, as well as policy-decisions, are beset with uncertainties. This chapter maps climate uncertainties and classifies them as to their ground, extent and location. A typology of uncertainty is presented, centered along the axes of scientific and moral uncertainty. This typology is illustrated with paradigmatic examples of uncertainty in climate science, climate ethics and climate economics. Subsequently, the chapter discusses the IPCC’s preferred way of representing uncertainties and (...) evaluates its strengths and weaknesses from a risk management perspective. Three general strategies for decision-makers to cope with climate uncertainty are outlined, the usefulness of which largely depends on whether or not decision-makers find themselves in a context of deep uncertainty. The chapter concludes by offering two recommendations to ease the work of policymakers, faced with the various uncertainties engrained in climate discourse. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Artificial intelligence (AI) is a digital technology that will be of major importance for the development of humanity in the near future. AI has raised fundamental questions about what we should do with such systems, what the systems themselves should do, what risks they involve and how we can control these. - After the background to the field (1), this article introduces the main debates (2), first on ethical issues that arise with AI systems as objects, i.e. tools made and (...) used by humans; here, the main sections are privacy (2.1), manipulation (2.2), opacity (2.3), bias (2.4), autonomy & responsibility (2.6) and the singularity (2.7). Then we look at AI systems as subjects, i.e. when ethics is for the AI systems themselves in machine ethics (2.8.) and artificial moral agency (2.9). Finally we look at future developments and the concept of AI (3). For each section within these themes, we provide a general explanation of the ethical issues, we outline existing positions and arguments, then we analyse how this plays out with current technologies and finally what policy conse-quences may be drawn. (shrink)

Skeptics of the moral case against industrial farming often assert that harm to animals in industrial systems is limited to isolated instances of abuse that do not reflect standard practice and thus do not merit criticism of the industry at large. I argue that even if skeptics are correct that abuse is the exception rather than the rule, they must still answer for two additional varieties of serious harm to animals that are pervasive in industrial systems: procedural harm and institutional (...) oppression. That procedural and institutional harms create conditions under which abuse is virtually inevitable only increases the skeptic's burden. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

Disruptive technologies can be conceptualized in different ways. Depending on how they are conceptualized, different ethical issues come into play. This article contributes to a general framework to navigate the ethics of disruptive technologies. It proposes three basic distinctions to be included in such a framework. First, emerging technologies may instigate localized “first-order” disruptions, or systemic “second-order” disruptions. The ethical significance of these disruptions differs: first-order disruptions tend to be of modest ethical significance, whereas second-order disruptions are highly significant. Secondly, (...) technologies may be classified as disruptive based on their technological features or based on their societal impact. Depending on which of these classifications one adopts and takes as the starting point of ethical inquiry, different ethical questions are foregrounded. Thirdly, the ethics of disruptive technology raises concerns at four different levels of technology assessment: the technology level, the artifact level, the application level, and the society level. The respective suitability of approaches in technology ethics to address concerns about disruptive technologies co-varies with the respective level of analysis. The article clarifies these distinctions, thereby laying some of the groundwork for an ethical framework tailored for assessing disruptive technologies. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)